| 翻訳と辞書 |
| Peano-Russell notation ： ウィキペディア英語版 |
Peano-Russell notation
Peano-Russell notation was Bertrand Russell's application of Peano's logical notation to the logical notions of Frege and was used in the writing of ''Principia Mathematica'' in collaboration with Alfred North Whitehead:〔Russell, p. 4〕
"The notation adopted in the present work is based upon that of Peano, and the following explanations are to some extent modelled on those which he prefixes to his ''Formulario Mathematico''." (Chapter I: Preliminary Explanations of Ideas and Notations, page 4)
==Variables==
In the notation, variables are ambiguous in denotation, preserve a recognizable identity appearing in various places in logical statements within a given context, and have a range of possible determination between any two variables which is the same or different. When the possible determination is the same for both variables, then one implies the other; otherwise, the possible determination of one given to the other produces a meaningless phrase. The alphabetic symbol set for variables includes the lower and upper case Roman letters as well as many from the Greek alphabet.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Peano-Russell notation」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|